#include <syscall.h>
#include "ulayout.h"
		
		.text
		.code32

		// TODO Change it to ulib.h
		.globl kcb_ret
kcb_ret:	  //	(ret_val)
		movl	%ss:4(%esp), %eax
		int	$INT_KCB_RET

#define	SRL(val, shamt)	(((val) >> (shamt)) & ~(-1 << (32 - (shamt))))
#include <layout.h>

		.globl vpt
		.globl vpd
		.globl procs
		.globl lna
		.globl ips_nodes
		.globl va_items
		.globl va_ctrl
		.globl irq_pipes
		.globl lapic
		.globl sysconf
		
		.set	vpt, UVPT
		.set	vpd, (UVPT + SRL(UVPT, 10))
		.set	procs, UPROCS
		.set    lna, ULNA
		.set    ips_nodes, ULNA
		.set	va_items, UHHEAD
		.set	va_ctrl, UHHEAD
		.set    irq_pipes, UIRQ_PIPES
		.set	lapic, ULAPIC
		.set	sysconf, USYSCONF

		.data

		.globl ramfs_image
ramfs_image:
#include "ramfs_image.S"
